(agda2-info-action "*Error*" "issue1785.libs:1: Failed to read library file /. Reason: /: openFile: inappropriate type (is a directory)" nil)
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
